refutation theorem - German English Dictionary